<html>
<head><meta charset="utf-8"><title>felix for compiler-team co-lead · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/felix.20for.20compiler-team.20co-lead.html">felix for compiler-team co-lead</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="178978613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/felix%20for%20compiler-team%20co-lead/near/178978613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/felix.20for.20compiler-team.20co-lead.html#178978613">(Oct 24 2019 at 17:54)</a>:</h4>
<p>As we discussed some meetings back, I'm happy to announce <span class="user-mention" data-user-id="116083">@pnkfelix</span> as official compiler team co-lead:</p>
<p><a href="https://github.com/rust-lang/team/pull/168" target="_blank" title="https://github.com/rust-lang/team/pull/168">https://github.com/rust-lang/team/pull/168</a></p>
<p>From the PR:</p>
<blockquote>
<p>This PR makes official what has been true for some time, by adding <span class="user-mention silent" data-user-id="116083">pnkfelix</span> as the <span class="user-group-mention" data-user-group-id="492">@T-compiler</span> team co-lead. Felix was a "founding member" of the compiler team when it first started, and was involved with Rust long before that. For the last year or so, he's been taking over an increasingly large share of "compiler team leadership", including running the weekly triage meeting and generally tending to the quality of the compiler as a whole. So many thanks to <span class="user-mention silent" data-user-id="116083">pnkfelix</span> for all that he does, and congratulations! <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span> </p>
</blockquote>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>